
fun a b -> x
